TextonBoost: Joint Appearance, Shape and Context Modeling for Multi-Class Object Recognition and Segmentation J. Shotton2 , J. Winn1 , C. Rother1 , and A. Criminisi1 1

Source URL: jamie.shotton.org

• Artificial intelligence
• Learning
• Machine learning
• Conditional random field
• Image segmentation
• Boosting
• Mixture model
• Statistical classification
• Shape context
• Constellation model
• Maximum likelihood estimation
• Graph cuts in computer vision

Information and Software Technology–1439 Contents lists available at ScienceDirect Information and Software Technology journal homepage: www.elsevier.com/locate/infsof

Source URL: welf.se

• Mathematics
• Data-flow analysis
• 0.999...
• Static single assignment form
• Call graph
• Linked list
• Object
• Graph
• Abstraction
• Compiler construction
• Software engineering
• Computing

GMMCP Tracker: Globally Optimal Generalized Maximum Multi Clique Problem for Multiple Object Tracking Afshin Dehghan Shayan Modiri Assari Mubarak Shah Center for Research in Computer Vision, University of Central Florida

Source URL: crcv.ucf.edu

• Clique problem
• Clique
• Graph operations
• Networks
• Tree decomposition
• Decomposition method
• Graph theory
• Theoretical computer science
• NP-complete problems

TRANSFORMING GRAPHS OF MOTION The middle graph below shows the velocity of a hypothetical object moving along a straight line. 1. What can we say about the motion of this object? 2. Plot the corresponding graphs of disp

Source URL: physics.info

VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium

Source URL: www.db.informatik.uni-bremen.de

• Software
• Graph rewriting
• VIATRA
• Formal methods
• Logic in computer science
• Object Constraint Language
• Model transformation language
• Kermeta
• Formal verification
• Unified Modeling Language
• Systems engineering
• Software engineering

Understanding a System’s Architecture Dirk Heuzeroth Universit¨at Karlsruhe IPD, Program Structures Group Postfach 6980, 76128 Karlsruhe, Germany

Source URL: arisa.se

• Program analysis
• Type system
• Call graph
• Static program analysis
• Java
• Software visualization
• C dynamic memory allocation
• Object-oriented programming
• Analysis
• Computing
• Software engineering
• Computer programming

A Concept Formation Based Approach to Object Identification in Procedural Code* Houari A. Sahraoui1, Hakim Lounis1, Walcélio Melo2 and Hafedh Mili3 1 Centre de Recherche Informatique de Montréal, {hsahraou, hlounis}@c

Source URL: intra.info.uqam.ca

• Data types
• Object-oriented programming
• Graph theory
• Programming paradigms
• Graph
• Reference
• Topology
• Object
• Abstraction
• Software engineering
• Computing
• Computer programming

2013 IEEE Conference on Computer Vision and Pattern Recognition SLAM++: Simultaneous Localisation and Mapping at the Level of Objects Renato F. Salas-Moreno1 1

Source URL: homes.cs.washington.edu

• Imaging
• Match moving
• Object recognition
• Augmented reality
• 3D single object recognition
• Pose
• Simultaneous localization and mapping
• Graph
• Depth map
• Computer vision
• Vision
• Artificial intelligence

Distance Estimation and Object Location via Rings of Neighbors ∗ Aleksandrs Slivkins† February 2005 Revised: June 2005, Nov 2005, April 2006, SeptAbstract

Source URL: research.microsoft.com

• Distributed data storage
• Routing
• Distributed hash table
• Shortest path problem
• Travelling salesman problem
• Tree decomposition
• Koorde
• Pastry
• Graph theory
• Theoretical computer science
• Mathematics

Identifying Program, Test, and Environmental Changes That Affect Behaviour Reid Holmes David Notkin

Source URL: cs.uwaterloo.ca

• Cross-platform software
• Compiler construction
• Object-oriented programming
• Call graph
• Library
• C
• Software testing
• Assertion
• Java
• Software engineering
• Computing
• Computer programming